murrax.dev
Random Notes:
Koblitz Curves
Quadratic Arithmetic Programs
Towards High-Assurance Cryptographic Engineering

A Multi-Agent System for Controlling Building Environments